<html>
<head><meta charset="utf-8"><title>meeting 2019.10.01 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html">meeting 2019.10.01</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="177075366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075366">(Oct 01 2019 at 17:00)</a>:</h4>
<p>o/</p>



<a name="177075397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075397">(Oct 01 2019 at 17:01)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span></p>



<a name="177075417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075417">(Oct 01 2019 at 17:01)</a>:</h4>
<p>afternoon!</p>



<a name="177075736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075736">(Oct 01 2019 at 17:04)</a>:</h4>
<p>looking at asyncawait-focus</p>



<a name="177075737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075737">(Oct 01 2019 at 17:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-Focus" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-Focus">https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-Focus</a></p>



<a name="177075770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075770">(Oct 01 2019 at 17:05)</a>:</h4>
<p>the main one there is the type inference / coercion issue: <a href="https://github.com/rust-lang/rust/issues/60424" target="_blank" title="https://github.com/rust-lang/rust/issues/60424">https://github.com/rust-lang/rust/issues/60424</a></p>



<a name="177075803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075803">(Oct 01 2019 at 17:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> and I commented a week ago, but I'm not sure there has been any more progress</p>



<a name="177075833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075833">(Oct 01 2019 at 17:05)</a>:</h4>
<p>unfortunately it doesn't seem like there's a super clear path to resolving it</p>



<a name="177075888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075888">(Oct 01 2019 at 17:06)</a>:</h4>
<p>let me skim the comments</p>



<a name="177075895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075895">(Oct 01 2019 at 17:06)</a>:</h4>
<p>I thought it was looking pretty good</p>



<a name="177075902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075902">(Oct 01 2019 at 17:06)</a>:</h4>
<p>was planning to spend a bit more time on it tomorrow</p>



<a name="177075916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075916">(Oct 01 2019 at 17:06)</a>:</h4>
<p>Is there an open PR?</p>



<a name="177075933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075933">(Oct 01 2019 at 17:06)</a>:</h4>
<p>not yet, but I have a branch,</p>



<a name="177075935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075935">(Oct 01 2019 at 17:06)</a>:</h4>
<p>okay-- well, I guess the path didn't seem clear <em>to me</em>, but maybe it made sense to you. I saw you were suggesting pulling the Output type out of the return type</p>



<a name="177075937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075937">(Oct 01 2019 at 17:06)</a>:</h4>
<p>can you have it assigned to me?</p>



<a name="177075952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177075952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177075952">(Oct 01 2019 at 17:07)</a>:</h4>
<p>done</p>



<a name="177076085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076085">(Oct 01 2019 at 17:07)</a>:</h4>
<p>I'll put in some more time tomorrow</p>



<a name="177076093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076093">(Oct 01 2019 at 17:07)</a>:</h4>
<p>it looks like we need to pick some focus issues</p>



<a name="177076100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076100">(Oct 01 2019 at 17:07)</a>:</h4>
<p>looks like the ondeck list is also empty: <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-OnDeck+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-OnDeck+">https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-OnDeck+</a></p>



<a name="177076165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076165">(Oct 01 2019 at 17:08)</a>:</h4>
<p>yeah we need to bootstrap :)</p>



<a name="177076167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076167">(Oct 01 2019 at 17:08)</a>:</h4>
<p>I have a suggestion or two</p>



<a name="177076194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076194">(Oct 01 2019 at 17:08)</a>:</h4>
<p>oh btw</p>



<a name="177076227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076227">(Oct 01 2019 at 17:08)</a>:</h4>
<p>if you look at <a href="https://rust-lang.github.io/compiler-team/working-groups/async-await/#focus-issues" target="_blank" title="https://rust-lang.github.io/compiler-team/working-groups/async-await/#focus-issues">the links here</a>, I purposefully used "cross-org links"</p>



<a name="177076230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076230">(Oct 01 2019 at 17:09)</a>:</h4>
<p>i.e., they search the whole rust-lang org</p>



<a name="177076245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076245">(Oct 01 2019 at 17:09)</a>:</h4>
<p>my reasoning being that we should include issues on the async book</p>



<a name="177076267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076267">(Oct 01 2019 at 17:09)</a>:</h4>
<p>that said, the UI is kind of "meh"</p>



<a name="177076361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076361">(Oct 01 2019 at 17:10)</a>:</h4>
<p>anyway maybe we shoudl try to each nominate some issues and discuss?</p>



<a name="177076367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076367">(Oct 01 2019 at 17:10)</a>:</h4>
<p>say, take 5 minutes and people can add labels and/or post links?</p>



<a name="177076374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076374">(Oct 01 2019 at 17:10)</a>:</h4>
<p>sgtm</p>



<a name="177076382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076382">(Oct 01 2019 at 17:10)</a>:</h4>
<p>/me starts to play the jeopardy theme song</p>



<a name="177076411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076411">(Oct 01 2019 at 17:11)</a>:</h4>
<p>"dum da dum dum dum da dum... dum da dum da DUM DA DUM DUM DUM"...</p>



<a name="177076556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076556">(Oct 01 2019 at 17:12)</a>:</h4>
<p>oh btw there is one uncategorized issue:</p>
<p>Unhelpful error "one type is more general than the other" in async code <a href="https://github.com/rust-lang/rust/issues/64650" target="_blank" title="https://github.com/rust-lang/rust/issues/64650">#64650</a></p>



<a name="177076567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076567">(Oct 01 2019 at 17:12)</a>:</h4>
<p>it seems like it has to do with suggesting <code>async move</code></p>



<a name="177076571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076571">(Oct 01 2019 at 17:12)</a>:</h4>
<p>I'm going to call it Other</p>



<a name="177076774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076774">(Oct 01 2019 at 17:15)</a>:</h4>
<p>oh I see you added <a href="https://github.com/rust-lang/rust/issues/64960" target="_blank" title="https://github.com/rust-lang/rust/issues/64960">https://github.com/rust-lang/rust/issues/64960</a> to ondeck-- I was gonna suggest that one</p>



<a name="177076933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177076933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177076933">(Oct 01 2019 at 17:16)</a>:</h4>
<blockquote>
<p>it seems like it has to do with suggesting <code>async move</code></p>
</blockquote>
<p>same suggestion request in this one <a href="https://github.com/rust-lang/rust/issues/64382" target="_blank" title="https://github.com/rust-lang/rust/issues/64382">https://github.com/rust-lang/rust/issues/64382</a></p>



<a name="177077011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077011">(Oct 01 2019 at 17:17)</a>:</h4>
<p>I think a suggestion would be great as I'd be stumped for a while seeing that error.</p>



<a name="177077020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077020">(Oct 01 2019 at 17:18)</a>:</h4>
<p>ok, I did a kind of first pass</p>



<a name="177077070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077070">(Oct 01 2019 at 17:18)</a>:</h4>
<p>kind of skipped around but it's also been .. 7 mintu</p>



<a name="177077097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077097">(Oct 01 2019 at 17:18)</a>:</h4>
<p>we have 7 "OnDeck" items listed, not sure how many of those are from me :)</p>



<a name="177077101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077101">(Oct 01 2019 at 17:18)</a>:</h4>
<p>maybe we can briefly discuss 'em?</p>



<a name="177077180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077180">(Oct 01 2019 at 17:19)</a>:</h4>
<blockquote>
<p>Cannot await in scope that contains call to format! <a href="https://github.com/rust-lang/rust/issues/64960" target="_blank" title="https://github.com/rust-lang/rust/issues/64960">#64960</a></p>
</blockquote>



<a name="177077248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077248">(Oct 01 2019 at 17:20)</a>:</h4>
<p>I nominated that one because I think it's a big toe-stub, but I'm not really sure what's the best fix. I <em>suspect</em> it has to do with trying to be smarter about what's live over a yield boundary.</p>



<a name="177077262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077262">(Oct 01 2019 at 17:20)</a>:</h4>
<p>And maybe that reveals to us that the things to be dropped are all references or have types that are known to be send</p>



<a name="177077315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077315">(Oct 01 2019 at 17:21)</a>:</h4>
<blockquote>
<p>Async struct method, &lt;_'&gt; lifetime shadowing <a href="https://github.com/rust-lang/rust/issues/64630" target="_blank" title="https://github.com/rust-lang/rust/issues/64630">#64630</a></p>
</blockquote>



<a name="177077348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077348">(Oct 01 2019 at 17:21)</a>:</h4>
<p>I nominated this one because it seems pretty broken; though <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> assigned themselves. Seems like maybe good focus then?</p>



<a name="177077370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077370">(Oct 01 2019 at 17:21)</a>:</h4>
<blockquote>
<p>Lifetime bounds in auto trait impls prevent trait from being implemented on generators <a href="https://github.com/rust-lang/rust/issues/64552" target="_blank" title="https://github.com/rust-lang/rust/issues/64552">#64552</a></p>
</blockquote>



<a name="177077437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077437">(Oct 01 2019 at 17:22)</a>:</h4>
<p>I nominated that one because it seemed weird and <span class="user-mention" data-user-id="125294">@Aaron Hill</span> had kind of identified the cause, though I don't recal how easy I thought the fix was :)</p>



<a name="177077454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077454">(Oct 01 2019 at 17:22)</a>:</h4>
<blockquote>
<p>Consider async blocks on lifetime errors <a href="https://github.com/rust-lang/rust/issues/64382" target="_blank" title="https://github.com/rust-lang/rust/issues/64382">#64382</a></p>
</blockquote>



<a name="177077465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077465">(Oct 01 2019 at 17:22)</a>:</h4>
<p>I guess this is the suggestion <span class="user-mention" data-user-id="116773">@csmoe</span> was referring to</p>



<a name="177077471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077471">(Oct 01 2019 at 17:22)</a>:</h4>
<p>seems like a good one, and I suspect relatively easy</p>



<a name="177077486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077486">(Oct 01 2019 at 17:23)</a>:</h4>
<blockquote>
<p>non-send futures error at point of use, but could cite point of definition in some cases <a href="https://github.com/rust-lang/rust/issues/64130" target="_blank" title="https://github.com/rust-lang/rust/issues/64130">#64130</a></p>
</blockquote>



<a name="177077505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077505">(Oct 01 2019 at 17:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> made great progress here but I think there are still a few details worth finishing up. I'd prefer to see us keep pushing <em>just a bit</em></p>



<a name="177077585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077585">(Oct 01 2019 at 17:24)</a>:</h4>
<blockquote>
<p>An async fn which isn't Send but which should be? <a href="https://github.com/rust-lang/rust/issues/63768" target="_blank" title="https://github.com/rust-lang/rust/issues/63768">#63768</a> </p>
</blockquote>
<p>this has to do with us using info about drop in determining whether a future is send; relating to string constants</p>



<a name="177077588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077588">(Oct 01 2019 at 17:24)</a>:</h4>
<p>(also NLL, which does take that into account)</p>



<a name="177077598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077598">(Oct 01 2019 at 17:24)</a>:</h4>
<blockquote>
<p>async/await: awaiting inside a match block captures borrow too eagerly <a href="https://github.com/rust-lang/rust/issues/57017" target="_blank" title="https://github.com/rust-lang/rust/issues/57017">#57017</a></p>
</blockquote>



<a name="177077622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077622">(Oct 01 2019 at 17:24)</a>:</h4>
<p>seems like the imprecision here is one of the biggest annoyances I hear about</p>



<a name="177077641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077641">(Oct 01 2019 at 17:25)</a>:</h4>
<p>ok, those are my nominations -- I say we pick 2 or 3? depends how many people we have? some of them have more unknowns than others</p>



<a name="177077684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077684">(Oct 01 2019 at 17:25)</a>:</h4>
<p>I'm happy to keep going on <a href="https://github.com/rust-lang/rust/issues/64130" target="_blank" title="https://github.com/rust-lang/rust/issues/64130">#64130</a> and maybe grab something else too.</p>



<a name="177077716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077716">(Oct 01 2019 at 17:25)</a>:</h4>
<p>relatively easy ones seem to be:</p>
<ul>
<li>Consider async blocks on lifetime errors <a href="https://github.com/rust-lang/rust/issues/64382" target="_blank" title="https://github.com/rust-lang/rust/issues/64382">#64382</a></li>
<li>non-send futures error at point of use, but could cite point of definition in some cases <a href="https://github.com/rust-lang/rust/issues/64130" target="_blank" title="https://github.com/rust-lang/rust/issues/64130">#64130</a></li>
<li>Async struct method, &lt;_'&gt; lifetime shadowing <a href="https://github.com/rust-lang/rust/issues/64630" target="_blank" title="https://github.com/rust-lang/rust/issues/64630">#64630</a></li>
</ul>



<a name="177077720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077720">(Oct 01 2019 at 17:25)</a>:</h4>
<p>it seems like there are a number still under the general category that the pre-MIR analysis for auto traits is imprecise</p>



<a name="177077777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077777">(Oct 01 2019 at 17:26)</a>:</h4>
<p>though those are probably all difficult fixes</p>



<a name="177077780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077780">(Oct 01 2019 at 17:26)</a>:</h4>
<p>yeah. I was thinking about this recently and thinking that maybe we <em>can</em> do the analysis on MIR, as <span class="user-mention" data-user-id="116466">@Zoxc</span> suggested</p>



<a name="177077787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077787">(Oct 01 2019 at 17:26)</a>:</h4>
<p>I agree that'll be a harder one but I think it's worth prioritizing</p>



<a name="177077804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077804">(Oct 01 2019 at 17:26)</a>:</h4>
<p>I'd be willing to put some time into mentoring it</p>



<a name="177077827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077827">(Oct 01 2019 at 17:26)</a>:</h4>
<p>at minimum, to take an hour with someone on a call and try to talk through what it might mean to fix it</p>



<a name="177077833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077833">(Oct 01 2019 at 17:27)</a>:</h4>
<p>but I think I'd prefer someone experienced in/around compiler</p>



<a name="177077851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077851">(Oct 01 2019 at 17:27)</a>:</h4>
<p>/me eyes <span class="user-mention" data-user-id="127859">@Taylor Cramer</span> and <span class="user-mention" data-user-id="116107">@davidtwco</span></p>



<a name="177077862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077862">(Oct 01 2019 at 17:27)</a>:</h4>
<p>I don't anticipate <a href="https://github.com/rust-lang/rust/issues/64130" target="_blank" title="https://github.com/rust-lang/rust/issues/64130">#64130</a> taking too long to polish off.</p>



<a name="177077866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077866">(Oct 01 2019 at 17:27)</a>:</h4>
<p>So I'd be happy to.</p>



<a name="177077933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177077933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177077933">(Oct 01 2019 at 17:28)</a>:</h4>
<blockquote>
<p>it seems like there are a number still under the general category that the pre-MIR analysis for auto traits is imprecise</p>
</blockquote>
<p>ps I was using <a href="https://github.com/rust-lang/rust/issues/57017" target="_blank" title="https://github.com/rust-lang/rust/issues/57017">#57017</a> as my stand-in for this bug, not sure if there's a better one</p>



<a name="177078000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078000">(Oct 01 2019 at 17:28)</a>:</h4>
<p>so maybe we do the "easy ones" I listed, <a href="https://github.com/rust-lang/rust/issues/57017" target="_blank" title="https://github.com/rust-lang/rust/issues/57017">#57017</a>, and the coercion one that I was already investigating?</p>



<a name="177078036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078036">(Oct 01 2019 at 17:29)</a>:</h4>
<p>for the "easy ones" -- we'd want to do a bit of mentoring -- <span class="user-mention" data-user-id="116773">@csmoe</span> / <span class="user-mention" data-user-id="120134">@Giles Cope</span> were either of you interested in maybe trying to fix <a href="https://github.com/rust-lang/rust/issues/64382" target="_blank" title="https://github.com/rust-lang/rust/issues/64382">https://github.com/rust-lang/rust/issues/64382</a> ?</p>



<a name="177078063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078063">(Oct 01 2019 at 17:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I will take care of it</p>



<a name="177078119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078119">(Oct 01 2019 at 17:30)</a>:</h4>
<p>do you have some idea where to start, or would you like a few notes?</p>



<a name="177078129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078129">(Oct 01 2019 at 17:30)</a>:</h4>
<p>I was basically going to point to the code in NLL error reporting that handles closure errors</p>



<a name="177078131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078131">(Oct 01 2019 at 17:30)</a>:</h4>
<p>I <em>imagine</em> we can do something similar...</p>



<a name="177078311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078311">(Oct 01 2019 at 17:32)</a>:</h4>
<blockquote>
<p>I was basically going to point to the code in NLL error reporting that handles closure errors</p>
</blockquote>
<p>yep, I did some investigation yesterday and found the closure error, seems not that hard.</p>



<a name="177078369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078369">(Oct 01 2019 at 17:33)</a>:</h4>
<p>I assigned you, <span class="user-mention" data-user-id="116773">@csmoe</span></p>



<a name="177078381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078381">(Oct 01 2019 at 17:33)</a>:</h4>
<p>I'll go tag those issues as focus for now?</p>



<a name="177078387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078387">(Oct 01 2019 at 17:33)</a>:</h4>
<p><span class="user-mention" data-user-id="120134">@Giles Cope</span> are you looking for something to do, too? :)</p>



<a name="177078390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078390">(Oct 01 2019 at 17:33)</a>:</h4>
<p>I'm still pondering <a href="https://github.com/rust-lang/rust/pull/64603" target="_blank" title="https://github.com/rust-lang/rust/pull/64603">https://github.com/rust-lang/rust/pull/64603</a> a bit.</p>



<a name="177078440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078440">(Oct 01 2019 at 17:34)</a>:</h4>
<p>ah, great</p>



<a name="177078446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078446">(Oct 01 2019 at 17:34)</a>:</h4>
<p>let's mark those related issues as focus issues</p>



<a name="177078573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078573">(Oct 01 2019 at 17:35)</a>:</h4>
<p>are the untriaged triaged?</p>



<a name="177078724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078724">(Oct 01 2019 at 17:36)</a>:</h4>
<p>I did go through them</p>



<a name="177078741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078741">(Oct 01 2019 at 17:36)</a>:</h4>
<p>I also marked the remaining things we <em>didn't</em> choose as "on-deck"</p>



<a name="177078752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078752">(Oct 01 2019 at 17:36)</a>:</h4>
<p>but I think people should feel free to nominate things for "on-deck"</p>



<a name="177078771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078771">(Oct 01 2019 at 17:37)</a>:</h4>
<p>during week</p>



<a name="177078774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078774">(Oct 01 2019 at 17:37)</a>:</h4>
<p>ok, thanks all! <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="177078937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.10.01/near/177078937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E10.2E01.html#177078937">(Oct 01 2019 at 17:38)</a>:</h4>
<p>Ah yes I see - all our tags are purple.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>